Automata and Transcendence of the Tate Period in Finite Characteristic
نویسندگان
چکیده
Using the techniques of automata theory, we give another proof of the function field analogue of the Mahler-Manin conjecture and prove transcendence results for the power series associated to higher divisor functions σk(n) = ∑ d|n d k. Let p be a prime number, and let k be an algebraic closure of Fp. Let q be a variable and consider a4, a6 ∈ k[[q]] defined by
منابع مشابه
Reduction of Computational Complexity in Finite State Automata Explosion of Networked System Diagnosis (RESEARCH NOTE)
This research puts forward rough finite state automata which have been represented by two variants of BDD called ROBDD and ZBDD. The proposed structures have been used in networked system diagnosis and can overcome cominatorial explosion. In implementation the CUDD - Colorado University Decision Diagrams package is used. A mathematical proof for claimed complexity are provided which shows ZBDD ...
متن کاملAutomata-Style Proof of Voloch's Result on Transcendence
For more on the Tate curve (which we will not use directly) and for standard facts on modular forms (which we will use later), see [S, Chap. 5; M. Chap. 1], respectively. Voloch's nice proof involved approximating q by algebraic quantities and getting a contradiction by analyzing the Galois action using Igusa's theorem. We offer below a proof based on the criterion of algebraicity due to Christ...
متن کاملMultidimensional fuzzy finite tree automata
This paper introduces the notion of multidimensional fuzzy finite tree automata (MFFTA) and investigates its closure properties from the area of automata and language theory. MFFTA are a superclass of fuzzy tree automata whose behavior is generalized to adapt to multidimensional fuzzy sets. An MFFTA recognizes a multidimensional fuzzy tree language which is a regular tree language so that for e...
متن کاملGAME OF COORDINATION FOR BACTERIAL PATTERN FORMATION: A FINITE AUTOMATA MODELLING
In this paper, we use game theory to describe the emergence of self-organization and consequent pattern formation through communicative cooperation in Bacillus subtilis colonies. The emergence of cooperative regime is modelled as an n-player Assurance game, with the bacterial colonies as individual players. The game is played iteratively through cooperative communication, and mediated by exchan...
متن کاملTranscendence in Positive Characteristic and Special Values of Hypergeometric Functions
We prove a simple transcendence criterion suitable for function field arithmetic. We apply it to show the transcendence of special values at non-zero rational arguments (or more generally, at algebraic arguments which generate extension of the rational function field with less than q places at infinity) of the entire hypergeometric functions in the function field (over Fq) context, and to obtai...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999